#include <iostream>

#include <workdir.filesystem.File.h>

using namespace std;
using namespace nemesis;
using namespace workdir;

void filesystem::File::print (const int) const
   throw ()
{
   cout << getName () << " " << flush;
}
